Computer algebra

Results: 2963



#Item
21

Sessions S1 Computer Algebra for Modeling in Science and Engineering S2

Add to Reading List

Source URL: www.mathematik.uni-kassel.de

- Date: 2016-08-02 05:55:09
    22

    STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science

    Add to Reading List

    Source URL: mizar.org

    - Date: 2010-03-05 21:10:35
      23

      CALCO Early Ideas 2013 Warsaw, 2 September 2013 A satelite workshop of CALCO 2013 5th Conference on Algebra and Coalgebra in Computer Science Selected Papers edited by

      Add to Reading List

      Source URL: www-compsci.swan.ac.uk

      - Date: 2014-07-11 07:33:31
        24

        Basic Elements of Computer Algebra in MIZAR Adam Naumowicz† Czeslaw Bylinski†† †

        Add to Reading List

        Source URL: markun.cs.shinshu-u.ac.jp

        - Date: 2002-08-28 03:46:27
          25

          CDC99 - REG0098 Computer algebra in the control of singularly perturbed dynamical systems 

          Add to Reading List

          Source URL: math.ucsd.edu

          - Date: 1999-03-10 19:59:53
            26

            Static Livelock Analysis in CSP? Jo¨el Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell Department of Computer Science, Oxford University, UK {joel,hrip,awr,jbw}@cs.ox.ac.uk Abstract. In a process algebra

            Add to Reading List

            Source URL: www.cs.ox.ac.uk

            - Date: 2013-01-23 11:18:26
              27

              A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2016-03-26 21:26:17
                28

                High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

                Add to Reading List

                Source URL: www.csd.uwo.ca

                - Date: 2008-12-16 23:38:33
                  29

                  Susan Margulies margulie at usna dot edu United States Naval Academy, Department of Mathematics, Annapolis, MDResearch Interests Optimization, Graph Theory, Computer Algebra, Algorithms and Complexity, Cryptograph

                  Add to Reading List

                  Source URL: www.fulbright.at

                  - Date: 2016-07-18 10:49:55
                    30

                    Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Teaching mathematics with reasoning tools: learning, te

                    Add to Reading List

                    Source URL: cadgme.ms.sapientia.ro

                    - Date: 2016-01-27 04:44:02
                      UPDATE